Transport of finiteness structures and applications
نویسندگان
چکیده
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: these include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.
منابع مشابه
Finiteness of certain local cohomology modules
Cofiniteness of the generalized local cohomology modules $H^{i}_{mathfrak{a}}(M,N)$ of two $R$-modules $M$ and $N$ with respect to an ideal $mathfrak{a}$ is studied for some $i^{,}s$ witha specified property. Furthermore, Artinianness of $H^{j}_{mathfrak{b}_{0}}(H_{mathfrak{a}}^{i}(M,N))$ is investigated by using the above result, in certain graded situations, where $mathfrak{b}_{0}$ is an idea...
متن کاملIntersection graphs associated with semigroup acts
The intersection graph $mathbb{Int}(A)$ of an $S$-act $A$ over a semigroup $S$ is an undirected simple graph whose vertices are non-trivial subacts of $A$, and two distinct vertices are adjacent if and only if they have a non-empty intersection. In this paper, we study some graph-theoretic properties of $mathbb{Int}(A)$ in connection to some algebraic properties of $A$. It is proved that the fi...
متن کاملFluidic Oscillators’ Applications, Structures and Mechanisms – A Review
Enhancement of heat and mass transfer and decrease of energy dissipation are great necessities of the evolution of fluid flow devices. Utilizing oscillatory or pulsatile fluid flow for periodic disturbing of velocity and thermal boundary layers is one of the methods with exciting results. Passive methods of generating oscillatory flow are preferred to active methods because of simplicity, no ne...
متن کاملAn Overview of Fabrication Methods and Applications of Carbon Nanotube Membrane in Environmental Engineering as Hydraulic Microstructures
The main purpose of this article is to study fabrication methods and applications of aligned carbon nanotube (CNT) membranes as a hydraulic microstructure in treatment processes. This paper emphasizes the use of CNTs as membrane in separation processes like water and wastewater treatment because of their exclusive advantages. Their most important characteristics are high mechanical strength aga...
متن کاملIntroducing a Relationship for Estimation of the Sediment Transport Rate through Rockfill Structures
Rockfill dams are accounted as useful measures in watershed management projects. How-ever, the sediment transport through the rockfill materials, could impact their lifetime duration. Previously, researches have been conducted to describe the various hydraulically issues of the flow passing through these structures However; there is no general relationship to estimate the sediment transport rat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1004.3655 شماره
صفحات -
تاریخ انتشار 2010